Design error diagnosis and correction via test vector simulation
نویسندگان
چکیده
منابع مشابه
Design error diagnosis and correction via test vector simulation
With the increase in the complexity of digital VLSI circuit design, logic design errors can occur during synthesis. In this work, we present a test vector simulation based approach for multiple design error diagnosis and correction. Diagnosis is performed through an implicit enumeration of the erroneous lines in an effort to avoid the exponential explosion of the error space as the number of er...
متن کاملLogic design error diagnosis and correction
| Logic veriication tools are often used to verify a gate-level implementation of a digital system in terms of its functional speciication. If the implementation is found not to be functionally equivalent to the speciication, it is important to correct the implementation automatically. This paper describes a formal method for the diagnosis and correction of logic design errors in an incorrect g...
متن کاملVector Rational Error Correction
Systems of forward-looking linear decision rules can be formulated as vector \rational" error correction models. The closed-form solution of the restricted error corrections is derived, and a full-information estimator is suggested. The error correction format indicates that the assumptions of convex adjustment costs and rational expectations impose di erent types of a priori restrictions on th...
متن کاملSimulation-Based Design Error Diagnosis and Correction in Combinational Digital Circuits
This paper describes an approach to design error diagnosis and correction in combinational digital circuits. Our approach targets small errors introduced during the design process or due to specification changes. We incrementally use simulation to identify suspect nets, and then attempt correction based on our error model. We use multiple iterations to handle multiple errors. Experimental resul...
متن کاملMultiple Design Error Diagnosis and Correction in Digital VLSI Circuits
With the increase in the complexity of VLSI circuit design, logic design errors can occur during synthesis. In this work, we present a method for multiple design error diagnosis and correction. Our approach uses the results of test vector simulation for both error detection and error correction. This makes it applicable to circuits with no global BDD representation. In addition, diagnosis is pe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
سال: 1999
ISSN: 0278-0070
DOI: 10.1109/43.811329