1 |
D. S. Brahme, et. al, 'Transaction-Based Verification Methodology,' Cadence Berkeley Labs, Technical Report # CDNL-TR-2000-0825, Aug., 2000
|
2 |
Cadence Design Systems, Inc., Transaction-Based Verification: TestBuilder Reference Manual, Sep., 2001
|
3 |
User guide SystemC 2.0
|
4 |
Rainer Domer, Andreas Gerstlauer, Daniel Gajski, SpecC Language Reference Manual Version 1.0, March, 2001
|
5 |
R. Lysecky, F. Vahid, T. Givargis, 'Experiments with the Peripheral Virtual Component Interface,' International Symposium on System Synthesis, 2000
DOI
|
6 |
M. Moris Mano, 'Digital Design,' 2nd Edition, Prentice-Hall International, Inc., 1991
|
7 |
Roberto Passerone, James A. Rowson, Alberto Sangiovanni-Vincentelli, 'Automatic synthesis of interfaces between incompatible protocols,' in Proc. Of DAC '98, 1998
|
8 |
Ben Cohen, 'VHDL Answers to Frequently Asked Questions,' Kluwer Academic Publishers, 1997
|
9 |
TranSwitch Corporation, UTOPIA Interface for the SARA Chipset, Application Note, Document Number TXC-05501-0002-AN, 1.0, April, 1995
|
10 |
Sanjiv Narayan and D. D. Gajski, 'Interfacing incompatible protocols using interface process generation,' Proc. of DAC, pp.468-473, 1995
DOI
|
11 |
Jan Madsen and Bjarne Hald, 'An Approach to Interface Synthesis,' in Proc. of ISSS, 1995
DOI
|
12 |
Gaetano Borriello, and Randy H. Katz, 'Synthesis and Optimization of Interface Transducer Logic,' Proc. ICCAD '87, pp.274-277, 1987
|