![](/img/cover-not-exists.png)
[ACM Press the 43rd annual conference - San Francisco, CA, USA (2006.07.24-2006.07.28)] Proceedings of the 43rd annual conference on Design automation - DAC '06 - Directed-simulation assisted formal verification of serial protocol and bridge
Gorai, Saurav, Biswas, Saptarshi, Bhatia, Lovleen, Tiwari, Praveen, Mitra, Raj S.Year:
2006
Language:
english
DOI:
10.1145/1146909.1147096
File:
PDF, 679 KB
english, 2006