Alfred Kölbl, Jerry R. Burch, Carl Pixley
Memory Modeling in ESL-RTL Equivalence Checking
DAC, 2007.
@inproceedings{DAC-2007-KoelblBP,
author = "Alfred Kölbl and Jerry R. Burch and Carl Pixley",
booktitle = "{Proceedings of the 44th Design Automation Conference}",
doi = "10.1145/1278480.1278530",
pages = "205--209",
publisher = "{IEEE}",
title = "{Memory Modeling in ESL-RTL Equivalence Checking}",
year = 2007,
}