Visualisation and resolution of encoding conflicts in asynchronous circuit design

IEE Proceedings: Computers and Digital Techniques

Volumn 150, Issue 5 SPEC. ISS., 2003, Pages 285-293

  Madalinski, A ^a   Bystrov, A ^a   Khomenko, V ^a   Yakovlev, A ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; CONTROL THEORY; LOGIC CIRCUITS; PETRI NETS; SIGNAL ENCODING; SIGNAL PROCESSING;

ASYNCHRONOUS CIRCUITS; COUPLEDNESS RELATIONS; MANUAL REFINEMENT;

VLSI CIRCUITS;

EID: 0344927161     PISSN: 13502387     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-cdt:20030831     Document Type: Conference Paper

References (16)

1. Chu, T.-A.: 'Synthesis of self-timed VLSI circuits from graph-theoretic specifications' PhD Thesis, 1987, MIT/LCS/TR-393
2. Cortadella, J., Krishinevsky, M., Kondratyev, A., Lavagno, L., and Yakovlev, A.: 'Synthesis of asynchronous controllers and interfaces' (Springer-Verlag, Berlin, 2002)
3. Khomenko V., Koutny, M., and Yakovlev, A.: 'Detecting state coding conflicts in STGs using integer programming'. Proc. Design, Automation and Test in Europe (DATE), Paris, France, March 2002, pp. 338-345
4. Khomenko, V., Koutny, M., and Yakovlev, A.: 'Detecting state coding conflicts in STGs using SAT'. Proc. Int. Conf. on Applications of Concurrency to System Design (ICACSD), Guimarães, Portugal, June 2003, pp. 51-60
5. Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., and Yakovlev, A.: 'A region-based theory for state assignment in speed-independent circuits', IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst., 1997, 16, (8), pp. 793-812
6. Vanbekbergen, P., Catthoor, F., Goossens, G., and De Man, H.: 'Optimized synthesis of asynchronous control circuits from graph-theoretic specifications'. Proc. Int. Conf. on Computer-Aided Design (ICCAD), Santa Clara, CA, November 1990, pp. 184-187
7. Yakovlev, A., and Petrov, A.: 'Petri nets and asynchronous bus controller design'. Proc. Inf. Conf. on Applications and Theory of Petri Nets (ICATPN), Paris, France, June, 1990, pp. 244-262
8. Riocreux, P.: 'Private communications' (UK Asynchronous Forum, 2002)
9. Engelfriet, J.: 'Branching processes of Petri nets', Acta Inform., 1991, 28, pp. 575-591
10. Esparza, J., Römer, S., and Vogler, W.: 'An improvement of McMillan's unfolding algorithm', Form. Methods Syst. Des., 2002, 20, (3), pp. 285-310
11. Khomenko, V.: 'Model checking based on Prefixes of Petri Net unfoldings'. PhD thesis, School of Computing Science, University of Newcastle upon Tyne, 2003
12. Semenov, A.: 'Verification and synthesis of asynchronous control circuits using Petri net unfoldings'. PhD Thesis, University of Newcastle upon Tyne, 1997
13. Dally, W.J., and Poulton, J.W.: 'Digital systems engineering' (Cambridge University Press, 1998)
14. Kinniment, D.J., Gao, B., Yakovlev, A., and Xia, F.: 'Towards asynchronous A-D conversion'. Proc. Int. Symp. on Advanced Research in Asynchronous Circuits and Systems (ASYNC), San Diego, CA, April 1998, pp. 206-215
15. Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., and Yakolev, A.: 'Automatic handshake expansion and reshuffling using concurrency reduction'. Proc. Int. Workshop on Hardware Design and Petri Nets (HWPN), Lisbon, Portugal, June 1998, pp. 86-110
16. Madalinski, A.: 'CONFRES interactive coding conflict resolver based on core visualization'. Proc. Int. conf. on Applications of Concurrency to System Design (ICACSD), Guimarães, Portugal, June 2003, pp. 243-244