285 articles – 2153 references  [version française]
Detailed view Conference proceedings
19th Great Lakes Symposium on VLSI (GLSVLSI'09),, Boston (MA) : États-Unis (2009)
MYGEN: Automata-based On-line Test Generator for Assertion-based Verification
Y. Oddos1, M. Boulé2, K. Morin-Allory1, D. Borrione1, Z. Zilic2

To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monitors and generators, we have extended the monitor generator tool MYGEN to produce synthesizable on-line generators. We have tested the resulting generators in simulation and by emulation on an FPGA. The combination of multiple generators provides an efficient way to model the environment of modules within a DUT, facilitating an equivalent of software "unit testing" under real conditions, early in the design flow.
1:  TIMA - Techniques of Informatics and Microelectronics for integrated systems Architecture
2:  McGill University (Canada)
test – generator-programs