Design and implementation of formal verification tool for combinational circuits using automatic test pattern generation

• Main Author: Tan, Sue Yee.
• Other Authors: Gwee Bah Hwee
• Format: Final Year Project
• Language: English
• Published: 2010
• Subjects: DRNTU::Engineering::Electrical and electronic engineering::Electronic circuits
• Online Access: http://hdl.handle.net/10356/40907
• Institution: Nanyang Technological University

Functional Verification or Logical Simulation is an important phase in Digital Design Flow. It is to ensure that the functionality of the design remains the same as the initial desired functionality at any point of time in the whole process, before advancing to the next level. If errors are detected...