References
- S. Hauck, 'Asynchronous Design Methodologies : an Overview,' Proceedings of the IEEE, vol.83, no.1, pp.69-93, 1995 https://doi.org/10.1109/5.362752
- E. M. Sentovich, K. J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P. R. Stephan, R. K. Brayton and A. Sangiovanni-Vincentelli, 'SIS : A System for Sequential Circuit Synthesis,' May 1992
- S. M. Nowick, 'Automatic Synthesis of Burst-Mode Asynchronous Controllers,' Ph. D. thesis, Stanford University, 1995
- J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno and A. Yakovlev, 'Petrify : a tool for manipulating concurrent specifications and synthesis of asynchronous controllers,' IEICE Transactions on Information and Systems, vol.E80-D, no.3, pp.315 -325, 1997
- E. Pastor, J. Cortadella, A. Kondratyev and O. Roig, 'Structural Methods for the Synthesis of Speed- Independent Circuits,' IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, no.11, pp.1108 -1129, 1998 https://doi.org/10.1109/43.736185
- K. Y. Yun and D. L. Dill, 'Automatic Synthesis of Extended Burst-Mode Circuits: Part IT (Automatic Synthesis),' IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.18, no.2, pp.118-132, 1999 https://doi.org/10.1109/43.743715
- D. D. Gajski, N. D. Dutt, A. C-H Wu and S. Y-L Lin, 'High-Level Synthesis : Introduction to Chip and System Design,' Kluwer Academic Publishers, 1991
- G. DeMicheli, 'Synthesis and Optimization of Digital Circuits,' McGraw-Hill, 1994
- J. Cortadella and R. M. Badia, 'An Asynchronous Architecture Model for Behavioral Synthesis,' In Proceedings of European Conference on Design Automation, Mar., pp.307-311, 1992
- R. M. Badia, J. Cortadella, E. Pastor and A. Pardo, 'A High-Level Synthesis System for Asynchronous Circuits,' Sixth International Workshop on High-Level Synthesis, Nov., pp. 87-94, 1992
- I. Blunno and L. Lavagno, 'Automated Synthesis of Micro-Pipelines from Behavioral Verilog HDL,' In Proceedings of Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems, Apr., pp.84-92, 2000
- K. V. Berkel, 'Handshake Circuits. An asynchronous architecture for VLSI programming,' International Series on Parallel Computation 5. Cambridge University Press, 1993
- T. Kolks, S. Vercauteren and B. Lin, 'Control Resynthesis for Control-Dominated Asynchronous Designs,' In Proceedings of Second International Symposium on Advanced Research in Asynchronous Circuits and Systems, Mar., pp.233-243, 1996
- M. A. Pena,J. Cortadella, 'Combining Process Algebras and Petri Nets for the Specification and Synthesis of Asynchronous Circuits,' In Proceedings of Second International Symposium on Advanced Research in Asynchronous Circuits and Systems, Mar., pp.222-232, 1996
- D. D. Gajski, J. Zhu and R. Domer, 'Essential Issues in Codesign,' In J. Staunstrup and W. Wolf, editor, Hardware/Software Co-Design Principles and Practice, pp.1-45, Kluwer Academic Publishers, 1997
- P. Siegel, G. De Micheli and D. Dill, 'Automatic Technology Mapping for Generalized Fundamental Mode Asynchronous Designs,' In Proceedings of the Design Automation Conference, June 1993
- K. Y. Yun, P. A. Beerel, V. Vakilotojar, A. E. Dooply and J. Arceo, 'The Design and Verification of A High-Performance Low-Control-Overhead Asynchronous Differential Equation Solver,' IEEE Trans. VLSI Systems, vol.6, no.4, pp.643-655, 1998 https://doi.org/10.1109/92.736138