284 articles – 2152 Notices  [english version]
Fiche détaillée Articles dans des revues avec comité de lecture
Interntional-Journal-of-Computer-Aided-VLSI-Design 2(4) (1990) 339-58
Functional approaches applied to microprogrammed architectures
D. Borrione1, P. Camurati2, P. Prinetto2, J.-L. Paillet2

Zero-defect designs are the goal of current research activities in CAD. An increasingly popular avenue of attack is formal verification of hardware correctness. Formal verification techniques have been applied widely in the past, but most of the examples were either simple or verification-oriented. This paper presents the application of such techniques to a real microprogrammed microprocessor, the MTI. Some abstract views of the device are identified, and the upper levels, namely, the machine instruction and microprogram levels, are described and verified within a functional framework. A methodology that is general and applicable to state-of-the-art microprogrammed architectures is a by-product of this work.
1 :  TIMA - Techniques of Informatics and Microelectronics for integrated systems Architecture
2 :  Polito - Politecnico di Torino [Torino]
machine-instruction-level – zero-defect-designs – microprogrammed-architectures – CAD- – formal-verification – hardware-correctness – microprogrammed-microprocessor – MTI- – microprogram-levels – functional-framework