Efficient Automata-Based Assertion-Checker Synthesis of SEREs for Hardware Emulation.

Marc Boule Zeljko Zilic

Published in: ASP-DAC (2007)

Keyphrases

low cost
real time
computationally efficient
cost effective
computationally expensive
database
databases
search engine
lightweight
input output
power consumption