References
- J. Bergeron, 'Writing Testbenches,' Kluwer Academic Publishers, 2000
- D.S. Brahme, et. al, 'Transaction-Based Verification Methodology,' Cadence Berkeley Labs, Technical Report #CDNL-TR-2000-0825, Aug. 2000
- J.A. Rowson, A. L. Sangiovanni-Vincentelli, 'Interface-Based Design,' Proc. Of DAC'97, June 1997, pp.178-183 https://doi.org/10.1145/266021.266060
- J. Smith and G. De Micheli, 'Automated composition of hardware components,' Proc. Of DAC 98, 1998. https://doi.org/10.1145/277044.277048
- F.S. Eory, 'A Core-Based System-to-Silicon Design Methodology,' IEEE Design & Test of Computers, Vol. 14, No. 4, October/December 1997, pp.36-41 https://doi.org/10.1109/54.632879
- 'VHDL+ LRM extentions to VHDL for System Specification,' Internaltional Computers Limited, Mar. 1999
- A. Gerstlauer, S. Zhao, D. D. Gajski, 'VHDL+/SpecC Comparisons : A Case Study,' Technical Report ICS-98-23, May 19, 1998, Dept. of Information and Computer Science, Univ. of California, Irvine
- D. D. Gajski, et. al 'SpecC: Specification Language and Methodology,' Kluwer Academic Publishers, Mar. 2000
- 'System-on-Chip specification and modeling using C++: challenges and opportunities,' Roundtable of IEEE Design & Test of Computers, Vol.18, No. 3, May-June 2001, pp.115-123 https://doi.org/10.1109/MDT.2001.922808
- G. Borriello, and R.H. Katz, 'Synthesis and optimization of interface transducer logic,' Proc. ICCAD '87, pp.274-277
- S. Narayan and D. D. Gajski, 'Interfacing incompatible protocols using interface process generation,' in Proc. of DAC, 1995, pp.468-473 https://doi.org/10.1109/DAC.1995.249993
- J. Madsen and B. Hald, 'An approach to interface synthesis,' in Proc. of ISSS, 1995, pp.16-21 https://doi.org/10.1109/ISSS.1995.520607
- R. Passerone, J. A. Rowson, A. Sangiovanni-Vincentelli, 'Automatic synthesis of interfaces between incompatible protocols,' in Proc. of DAC '98, 1998 pp.8-13 https://doi.org/10.1145/277044.277047
- 'Funtional Specification for System C 2.0,' version 2.0-M, Jan. 2001, available on the web site www.systemc.org
- J. A. Brzozowski, 'Derivatives of regular expressions,' Journal of the Association for Computing Machinery, vol. 11, pp. 481-494, Oct. 1964 https://doi.org/10.1145/321239.321249
- R. Passerone, 'Automatic synthesis of interfaces between incompatible protocols,' M.S. Thesis, University of California at Berkeley, 1997