Author:
Blunno Ivan,Lavagno Luciano
Reference23 articles.
1. Borriello, G. (1988). A New Interface Specification Methodology and its Application to Transducer Synthesis. PhD thesis, U.C. Berkeley. (technical report UCB/CSD 88/430).
2. Brunvand, E. and Sproull, R. F. (1989). Translating concurrent programs into delay-insensitive circuits. In Proceedings of the International Conference on Computer-Aided Design pages 262–265.
3. Burns, S. and Martin, A. (1987). A synthesis method for self-timed VLSI circuits. In Proceedings of the International Conference on Computer Design.
4. Chu, T.-A. (1986). On the models for designing VLSI asynchronous digital systems. Integration: the VLSI journal, 4:99–113.
5. Cortadella, J., Kishinevsky, M., Lavagno, L., and Yakovlev, A.(1998). Deriving petri nets from finite transition systems. IEEE Transactions on Computers 47(8):859–882.