Information Technology Reference
In-Depth Information
12. Hoe, J.C., Arvind: Synthesis of operation-centric hardware descriptions. In:
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided
design, ICCAD 2000, Piscataway, NJ, USA, pp. 511-519. IEEE Press, Los Alamitos
(2000)
13. Kozen, D.: Results on the propositional mu-calculus. Theor. Comput. Sci. 27, 333-
354 (1983)
14. Lamport, L.: Specifying Systems, The TLA+ Language and Tools for Hardware
and Software Engineers. Addison-Wesley, Reading (2002)
15. Singh, G., Shukla, S.K.: Verifying compiler based refinement of Bluespec
TM
speci-
fications using the spin model checker. In: Havelund, K., Majumdar, R., Palsberg,
J. (eds.) SPIN 2008. LNCS, vol. 5156, pp. 250-269. Springer, Heidelberg (2008)
