共 23 条
- [2] Integration of Behavioral Synthesis and Floorplanning for Asynchronous Circuits with Bundled-Data Implementation IEICE TRANSACTIONS ON ELECTRONICS, 2012, E95C (04): : 506 - 515
- [5] Logic Decomposition of Asynchronous Circuits Using STG Unfoldings 17TH IEEE INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS (ASYNC 2011), 2011, : 3 - 12
- [7] SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces COMMUNICATING PROCESS ARCHITECTURES 2011, 2011, 68 : 287 - 302
- [8] VHDLASYN: A Tool for Synthesis of Asynchronous Systems from of VHDL Behavioral Specifications 2018 2ND CONFERENCE ON PHD RESEARCH IN MICROELECTRONICS AND ELECTRONICS LATIN AMERICA (PRIME-LA), 2018,
- [9] Logic synthesis for asynchronous circuits based on Petri net unfoldings and incremental SAT FOURTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2004, : 16 - 25
- [10] Modelling and analysis of asynchronous circuits and timing diagrams using parametric timed automata PROCEEDINGS OF THE 23RD IASTED INTERNATIONAL CONFERENCE ON MODELLING, IDENTIFICATION, AND CONTROL, 2004, : 500 - 505