A parallel state assignment algorithm for finite state machines
作者： David A. Bader , Kamesh Madduri
DOI: 10.1007/978-3-540-30474-6_34
关键词:
摘要: This paper summarizes the design and implementation of a parallel algorithm for state assignment large Finite State Machines (FSMs) High performance CAD tools are necessary to overcome computational complexity involved in optimization sequential circuits FSMs constitute an important class logic circuits, is one key steps combinational The SMP-based – based on program JEDI targeting multilevel scales nearly linearly with number processors varying problem sizes chosen from standard benchmark suites while attaining quality results comparable best algorithms.
core.ac.uk
springer.com
elsevier.com
sci-hub.se 参考文章(20)
E. M. Sentovich, SIS : A System for Sequential Circuit Synthesis CTIT technical reports series. ,(1992)
D.A. Bader, Guojing Cong, A fast, parallel spanning tree algorithm for symmetric multiprocessors international parallel and distributed processing symposium. ,vol. 2, pp. 38- 47 ,(2004) , 10.1109/IPDPS.2004.1302951
A.E.A. Almaini, J.F. Miller, P. Thomson, S. Billina, State assignment of finite state machines using a genetic algorithm IEE Proceedings - Computers and Digital Techniques. ,vol. 142, pp. 279- 286 ,(1995) , 10.1049/IP-CDT:19951885
David A. Bader, Guojing Cong, A fast, parallel spanning tree algorithm for symmetric multiprocessors (SMPs) Journal of Parallel and Distributed Computing. ,vol. 65, pp. 994- 1006 ,(2005) , 10.1016/J.JPDC.2005.03.011
S.A. Kravitz, R.A. Rutenbar, Placement by Simulated Annealing on a Multiprocessor IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. ,vol. 6, pp. 534- 549 ,(1987) , 10.1109/TCAD.1987.1270301
Michael Theobald, Steven M. Nowick, Tao Wu, Espresso-HF: a heuristic hazard-free minimizer for two-level logic design automation conference. pp. 71- 76 ,(1996) , 10.1145/240518.240533
T. Villa, A. Sangiovanni-Vincentelli, NOVA: state assignment of finite state machines for optimal two-level logic implementation IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. ,vol. 9, pp. 905- 924 ,(1990) , 10.1109/43.59068
David A. Bader, Joseph JáJá, Simple: A Methodology for Programming High Performance Algorithms on Clusters of Symmetric Multiprocessors (SMPs) Journal of Parallel and Distributed Computing. ,vol. 58, pp. 92- 108 ,(1999) , 10.1006/JPDC.1999.1541
B. Ramkumar, P. Banerjee, ProperCAD: A portable object-oriented parallel environment for VLSI CAD IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. ,vol. 13, pp. 829- 842 ,(1994) , 10.1109/43.293940
Pranav Ashar, Srinivas Devadas, A. Richard Newton, A unified approach to the decomposition and re-decomposition of sequential machines design automation conference. pp. 601- 606 ,(1990) , 10.1145/123186.123414