Using emulation to verify formal architecture descriptions

Mario R. Barbacci, Alan Parker
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

IEEE Computer 11(5)
Pages 51-56
1978
Note(s): ISPS