Adapting asynchronous circuits to operating conditions by logic parametrisation

Proceedings - International Symposium on Asynchronous Circuits and Systems

Volumn , Issue , 2012, Pages 17-24

  Mokhov, Andrey ^a   Sokolov, Danil ^a   Yakovlev, Alex ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

asynchronous circuits; conditional signal graphs; energy efficiency; parametrised controllers

Indexed keywords

ADAPTIVE CONTROL SYSTEMS; BUDGET CONTROL; DATA HANDLING; ENERGY HARVESTING; TIMING CIRCUITS; VOLTAGE SCALING;

ASYNCHRONOUS CIRCUITS; CONDITIONAL SIGNAL GRAPHS; HARDWARE SYSTEM; LONG LIFE; OPERATING CONDITION; PARAMETRISED CONTROLLERS; PARAMETRIZATIONS; POWER; POWER SUPPLY; RUNTIMES;

ENERGY EFFICIENCY;

EID: 84866487822     PISSN: 26431394     EISSN: 26431483     Source Type: Conference Proceeding    
DOI: 10.1109/ASYNC.2012.23     Document Type: Conference Paper

References (14)

1. The Workcraft framework homepage. http://www.workcraft.org, 2009.
2. H. Bhatnagar. Advanced ASIC chip synthesis: using Synopsys Design Compiler, Physical Compiler, and PrimeTime. Kluwer, 2002.
3. 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, E80-D(3):315-325, 1997.
4. J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev. Logic synthesis of asynchronous controllers and interfaces. Advanced Microelectronics. Springer, 2002.
5. K. Fant and S.A. Brandt. Null Conventional Logic: A Complete and Consistent Logic for Asynchronous Digital Circuit Synthesis. In Int'l Conf. Application-Specific Systems, Architectures, and Processors, 1996.
6. Cheoljoo Jeong and Steven M. Nowick. Technology mapping and cell merger for asynchronous threshold networks. IEEE Trans. on CAD of Integrated Circuits and Systems, 27(4):659-672, 2008.
7. V. Khomenko, M. Koutny, and A. Yakovlev. Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. In Int. Conf. on Applicatioon of Concurrency to System Design (ACSD'04), pages 16-25, 2004.
8. Alex Kondratyev and Kelvin Lwin. Design of asynchronous circuits using synchronous CAD tools. IEEE Transactions on Computers, 2002.
9. A. Mokhov. Modelling Cyclic System Behaviour with CPOGs, Technical Memo, Newcastle University, January 2011.
10. A. Mokhov, A. Alekseyev, and A. Yakovlev. Encoding of processor instruction sets with explicit concurrency control. IET Computers & Digital Techniques, 5(6):427-439, 2011.
11. A. Mokhov and A. Yakovlev. Conditional Partial Order Graphs: Model, Synthesis and Application. IEEE Transactions on Computers, 59(11):1480-1493, 2010.
12. Steven Nowick. Automatic Synthesis of Burst-Mode Asynchronous Controllers. PhD thesis, Stanford University, 1993.
13. Jens Sparsø and Steve Furber. Principles of Asynchronous Circuit Design: A Systems Perspective. Kluwer Academic Publishers, 2001.
14. A. Yakovlev. Energy-modulated computing. In Design, Automation and Test in Europe (DATE) Conference, pages 1340-1345, 2011.