Verification of a microprocessor using real world applications (original) (raw)
Related papers
A property checking approach to microprocessor verification using symbolic simulation
2002
The practical verification of microprocessor designs
COMPCON Spring '91 Digest of Papers
A methodology for validation of microprocessors using symbolic simulation
International Journal of Embedded Systems, 2005
A methodology for processor implementation verification
Lecture Notes in Computer Science, 1996
Scalable hybrid verification of complex microprocessors
Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232), 2001
Formal modeling and verification of microprocessors
IEEE Transactions on Computers, 1995
Formal verification of microprocessors
Proceedings of the Fourth Annual Conference on Computer Assurance, 'Systems Integrity, Software Safety and Process Security, 1989
Model Based Test Generation for Microprocessor Architecture Validation
2007
Utilizing multicore architectures to enhance software verification in real-time embedded systems
2013
Model checking of software for microcontrollers
ACM Transactions on Embedded Computing Systems, 2010
MMV: A Metamodeling Based Microprocessor Validation Environment
IEEE Transactions on Very Large Scale Integration Systems, 2008
Design and development of frameworks for CPU verification efficiency improvement
Indonesian Journal of Electrical Engineering and Computer Science
Indonesian Journal of Electrical Engineering and Computer Science, 2023
Metric driven Framework for Processor Verification
Formal Verification of VLIW Microprocessors with Speculative Execution
Lecture Notes in Computer Science, 2000
MMV: Metamodeling Based Microprocessor Validation Environment
2008
A Comparison of Error Detection between Simulation-based Validation and Model Checking
Using Transfer-Resource Graph for Software-Based Verification of System-on-Chip
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2000
HybridVerifier: A Cross-platform Verification Framework for Instruction Set Simulators
Automatic verification of implementations of large circuits against HDL specifications
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1997
Practical Formal Verification in Microprocessor Design
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings., 2003
Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078), 1999
2002
Automated Functional Verification of Application Specific Instruction-set Processors
IFIP Advances in Information and Communication Technology, 2013
Concurrent design error simulation for high-level microprocessor implementations
2004
Survey of modern technologies of simulation-based verification of hardware
Mikhail Chupilko, Alexander Kamkin
Programming and Computer Software, 2011