Abstract is missing.
- DeepTrans - A Model-based Approach to Functional Verification of Address Translation MechanismsAllon Adir, Roy Emek, Yoav Katz, Anatoly Koyfman. 3-6 [doi]
- Modeling IP Responses in Testcase Generation for Systems-on-Chip VerificationMrinal Bose, Mark H. Nodine, William R. Jurasz Jr., Vlad Zavadsky, Arvind Chodavadia, Lincoln R. Nunes. 7-10 [doi]
- Definition of a systematic method for the generation of software test programs allowing the functional verification of System On Chip (SoC)F. Hunsinger, Sebastien Francois, Ahmed Amine Jerraya. 11 [doi]
- Testing the Path Delay Faults of ISCAS85 Circuit c6288Wangqi Qiu, D. M. H. Walker. 19 [doi]
- Comparison of Verification Methodologies for Datapath TestingV. V. Iyer. 27-31 [doi]
- A Methodology for Validating Manufacturing Test Vector Suites for Custom Designed Scan-Based CircuitsJayanta Bhadra, Narayanan Krishnamurthy, Magdy S. Abadir. 32-37 [doi]
- Utilizing Various ADL Facets for Instruction Level CPU TestElham Safi, Zohreh Karimi, Maghsoud Abbaspour, Zainalabedin Navabi. 38 [doi]
- Automatic Detection of Logic Bugs in Hardware DesignsAlexander Klaiber, Sinclair Chau. 47-53 [doi]
- Extraction Error Analysis, Diagnosis and Correction in Custom-Made High-Performance DesignsYu-Shen Yang, Jiang Brandon Liu, Paul J. Thadikaran, Andreas G. Veneris. 54-59 [doi]
- Fault Diagnosis and Logic Debugging Using Boolean SatisfiabilityAndreas G. Veneris. 60 [doi]
- Heuristic Backtracking Algorithms for SATAteet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva. 69-74 [doi]
- Tuning the VSIDS Decision Heuristic for Bounded Model CheckingOhad Shacham, Emmanuel Zarpas. 75 [doi]
- A Methodology for Validation of Microprocessors using Equivalence CheckingPrabhat Mishra, Nikil D. Dutt. 83-88 [doi]
- A SystemC-based Framework for Properties Incompleteness EvaluationAlessandro Fin, Franco Fummi, Massimo Poncino, Graziano Pravadelli. 89-94 [doi]
- A Robust and Scalable Technique for the Constraints Solving Problem in High-Level VerificationMahesh A. Iyer. 95 [doi]
- Energy Awareness through Software Optimisation as a Performance Estimate Case Study of the MC68HC908GP32 MicrocontrollerJoan Oliver, Octavian-Dumitru Mocanu, Carles Ferrer. 111 [doi]
- A Deterministic Globally Asynchronous Locally Synchronousy Microprocessor ArchitectureMatthew W. Heath, Ian G. Harris. 119 [doi]