메뉴 건너뛰기




Volumn 151, Issue 3, 2004, Pages 209-220

Asynchronous system synthesis based on direct mapping using VHDL and Petri nets

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER HARDWARE DESCRIPTION LANGUAGES; LOGIC DESIGN; PETRI NETS;

EID: 2942741321     PISSN: 13502387     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-cdt:20040525     Document Type: Article
Times cited : (13)

References (24)
  • 2
    • 0008862067 scopus 로고    scopus 로고
    • An introduction to asynchronous circuit design
    • in Kent, A., and Williams, J.G. (Eds.); (Marcel Dekker, New York)
    • Davis, A.I., and Nowick, S.M.: 'An introduction to asynchronous circuit design', in Kent, A., and Williams, J.G. (Eds.): 'The Encyclopaedia of Computer Science and Technology' (Marcel Dekker, New York, 1998), vol. 38
    • (1998) The Encyclopaedia of Computer Science and Technology , vol.38
    • Davis, A.I.1    Nowick, S.M.2
  • 4
    • 2942743883 scopus 로고    scopus 로고
    • The Petrify tool, http://www.lsi.upc.es/~jordic/petrify/
  • 7
    • 0023563761 scopus 로고
    • Synthesis of self-timed VLSI circuits from graph-theoretic specifications
    • PhD thesis, MIT Laboratory for Computer Science, June
    • Chu, T.-A.: 'Synthesis of self-timed VLSI circuits from graph-theoretic specifications'. PhD thesis, MIT Laboratory for Computer Science, June 1987
    • (1987)
    • Chu, T.-A.1
  • 10
    • 0017525050 scopus 로고
    • Modular design of asynchronous circuits defined by graphs
    • David, R.: 'Modular design of asynchronous circuits defined by graphs', IEEE Trans. Comput., 1977, 26 (8), pp. 727-737
    • (1977) IEEE Trans. Comput. , vol.26 , Issue.8 , pp. 727-737
    • David, R.1
  • 13
    • 2942705212 scopus 로고    scopus 로고
    • Asynchronous communication circuits: Design, test, and synthesis
    • PhD thesis, University of Newcastle upon Tyne
    • Shang, D.: 'Asynchronous communication circuits: Design, test, and synthesis'. PhD thesis, University of Newcastle upon Tyne, 2003
    • (2003)
    • Shang, D.1
  • 18
    • 0008548616 scopus 로고    scopus 로고
    • Yakovlev, A., Gomes, L., and Lavagno, L. (Eds.); (Kluwer)
    • Yakovlev, A., Gomes, L., and Lavagno, L. (Eds.): 'Hardware design and Petri nets' (Kluwer, 2000)
    • (2000) Hardware Design and Petri Nets
  • 19
    • 0029267144 scopus 로고
    • High-level modeling and design of asynchronous interface logic
    • Yakovlev, A., Koelmans, A., and Lavagno, L.: 'High-level modeling and design of asynchronous interface logic', IEEE Des. Test Comput., 1995, 12, (10), pp. 32-40
    • (1995) IEEE Des. Test Comput. , vol.12 , Issue.10 , pp. 32-40
    • Yakovlev, A.1    Koelmans, A.2    Lavagno, L.3
  • 20
    • 2942707157 scopus 로고    scopus 로고
    • A tight packing scheduling algorithm using closeness tables
    • Technical report, School of EECE, University of Newcastle (to be published)
    • Burns, F.: 'A tight packing scheduling algorithm using closeness tables'. Technical report, School of EECE, University of Newcastle (to be published)
    • Burns, F.1
  • 21
    • 0015644291 scopus 로고
    • Circuit technology in a large computer system
    • Kinniment, D.J., and Edwards, D.G.B.: 'Circuit technology in a large computer system', Radio Electron. Eng., 1973, 43, (7), pp. 435-441
    • (1973) Radio Electron. Eng. , vol.43 , Issue.7 , pp. 435-441
    • Kinniment, D.J.1    Edwards, D.G.B.2
  • 23
    • 0008349738 scopus 로고    scopus 로고
    • An asynchronous DMA controller
    • MPhil thesis, University of Manchester, April
    • Jantaraprim, C.: 'An asynchronous DMA controller'. MPhil thesis, University of Manchester, April 2000
    • (2000)
    • Jantaraprim, C.1
  • 24
    • 0031095038 scopus 로고    scopus 로고
    • Design an asynchronous processor using Petri nets
    • Semenov, A., Koelmans, A., Lloyd, L., and Yakovlev, A.: 'Design an asynchronous processor using Petri nets', IEEE Micro, 1997, 17, (2), pp. 54-64
    • (1997) IEEE Micro , vol.17 , Issue.2 , pp. 54-64
    • Semenov, A.1    Koelmans, A.2    Lloyd, L.3    Yakovlev, A.4


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.