Functional Verification Methodology Based on Formal Interface Specification and Transactor Generation
- 1 January 2006
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 1, 1-6
- https://doi.org/10.1109/date.2006.243899
Abstract
Transaction level models promise to be the basis of the verification environment for the whole design process. Realizing this promise requires connecting transaction level and RTL blocks through an object called a transactor, which translates back and forth between RTL signal-based communication, and transaction level function-call based communication. Each transactor is associated with a pair of interfaces, one at RTL and one at transaction level. Typically, however, a pair of interfaces is associated to more than one transactor, each assuming a different role in the verification process. In this paper we propose a methodology in which both the interfaces and their relation are captured by a single formal specification. By using the specification, we show how the code for all the transactors associated with a pair of interfaces can be automatically generatedKeywords
This publication has 7 references indexed in Scilit:
- Synthesizing converters between finite state protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- High-level specification and automatic generation of IP interface monitorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Synthesis of software programs for embedded control applicationsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1999
- Interfacing Incompatible Protocols Using Interface Process GenerationProceedings of the 39th conference on Design automation - DAC '02, 1995
- Clairvoyant: a synthesis system for production-based specificationIEEE Transactions on Very Large Scale Integration (VLSI) Systems, 1994
- The Compilation of Regular Expressions into Integrated CircuitsJournal of the ACM, 1982
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977