Search for Author All Reviews
	Prinetto, Paolo     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Formal Verification of Hardware Correctness: Introduction and Survey of Current Research Camurati P., Prinetto P. Computer 21(7): 8-19, 1988.  Type: Article In this lucidly written survey paper, the authors describe the state of the art in the use of formal logic to prove circuit correctness. The paper begins by defining the verification problem in the broadest possible terms, then embarks...... Mar 1 1989     Microprogram simulation using a structured microcode model Mezzalama M., Prinetto P. Microprocessing and Microprogramming 13(5): 299-314, 1984.  Type: Article This paper is a continuation of the authors’ work in using a model of microinstructions and microoperations to drive a microcode development system. A previous paper [1] described the model in detail. These models have been u...... Jun 1 1985
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy