Directed-Logical Testing for Functional Verification of Microprocessors

The length of the microprocessor development cycle is largely determined by functional verification, where contemporary practice relies primarily on constraint-based random stimulus generation to drive a simulation-based methodology. However, formal methods are, in particular, gaining wider adoption...

Full description

Saved in:

Bibliographic Details
Published in:	2008 6th IEEE/ACM International Conference on Formal Methods and Models for Codesign pp. 89 - 100
Main Authors:	Katelman, M., Meseguer, J., Escobar, S.
Format:	Conference Proceeding
Language:	English
Published:	Washington, DC, USA IEEE Computer Society 01.06.2008 IEEE
Series:	ACM Conferences
Subjects:	Assembly Automatic testing Computer science Drives Hardware design languages Logic testing Microprocessors Pipelines Random number generation Scalability Theory of computation Theory of computation > Formal languages and automata theory Theory of computation > Formal languages and automata theory > Formalisms Theory of computation > Formal languages and automata theory > Formalisms > Rewrite systems Theory of computation > Formal languages and automata theory > Grammars and context-free languages Theory of computation > Semantics and reasoning Theory of computation > Semantics and reasoning > Program semantics
ISBN:	1424424178, 9781424424177
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!