Montek Singh, Steven M. Nowick  Home/Search
Context Related
| columbia.edu/report...cucs00298.ps.gz columbia.edu/~libra...cucs00298.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: columbia.edu/~library/1998 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A new method is introduced for the synthesis for logical initializability of synchronous state machines. The goal is to synthesize a gate-level implementation that is initializable when simulated by a 3-valued (0,1,X) simulator. The method builds on an existing approach of Cheng and Agrawal, which uses constrained state assignment to translate functional initializability into logical initializability. Here, a different state assignment method is proposed which, unlike the method of Cheng and... (Update)
Context of citations to this paper: More
.... paper with the same title, that appeared in the proceedings of the 10th International Conference on VLSI Design, Jan 4 7, 1997 [21]. Abstract A new method is introduced for the synthesis for logical initializability of synchronous state machines. The goal is to...
Cited by: More
Synthesis for Logical Initializability of Synchronous Finite.. - Singh, Nowick (1998) (Correct)
Active bibliography (related documents): More All
0.5: MINIMALIST: An Environment for the Synthesis.. - Fuhrer, Nowick.. (1999) (Correct)
0.5: Self-Initializing Memory Elements - Bapiraju Vinnakota (Correct)
0.3: Hybrid Fault Simulation for Synchronous Sequential Circuits - Becker, Keim, Krieger (1999) (Correct)
Similar documents based on text: More All
0.2: Implication-Based Gate-level Synthesis for Low-Power - Topics.. (Correct)
0.2: Robust Interfaces for Mixed-Timing Systems with Application.. - Chelcea, Nowick (2001) (Correct)
0.1: A new Approach for Initialization Sequences.. - Corno, Prinetto.. (Correct)
BibTeX entry: (Update)
M. Singh and S.M. Nowick, "Synthesis for logical initializability of synchronous finite state machines," in Proc. of Intl. Conf. on VLSI Design, pp 76--80, Jan. 1997. http://citeseer.ist.psu.edu/singh98synthesis.html More
@misc{ singh97synthesis,
author = "M. Singh and S. Nowick",
title = "Synthesis for logical initializability of synchronous finite state machines",
text = "M. Singh and S.M. Nowick, Synthesis for logical initializability of synchronous
finite state machines, in Proc. of Intl. Conf. on VLSI Design, pp 76--80,
Jan. 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/singh98synthesis.html" }
Citations (may not include all citations):1726 Graph-based algorithms for Boolean function manipulation - Bryant - 1986
124 Synthesis and Optimization of Digital Circuits (context) - Micheli - 1994
99 Asynchronous Sequential Switching Circuits (context) - Unger - 1969
46 Exact Two-level Minimization of Hazard-free Logic with Multi.. - Nowick, Dill - 1995
41 NOVA: state assignment of finite state machines for optimal .. (context) - Villa, Sangiovanni-Vincentelli - 1990
39 Two-level logic minimization: an overview (context) - Coudert - 1994
30 Hazard detection in combinational and sequential switching c.. (context) - Eichelberger - 1965
21 Hazard-Non-Increasing Gate-Level Optimization Algorithms (context) - Kung - 1992
16 Internal state assignments for asynchronous sequential machi.. (context) - Tracey - 1966
7 A directed search method for test generation using a concurr.. (context) - Agrawal, Cheng et al. - 1989
7 the initialization of sequential circuits (context) - Wehbeh, Saab - 1994
7 Synthesis of Hazard-Free Multilevel Logic Under Multi-Input .. - Lin, Devadas - 1995
6 Minimum length synchronizing sequences of finite state machi.. (context) - Rho, Somenzi et al. - 1993
5 An implicit method for hazard-free two-level logic minimizat.. (context) - Theobald, Nowick - 1998
5 State assignment for initializable synthesis (context) - Cheng, Agrawal - 1989
3 A sequential circuit test generation system (context) - Mallela, Wu - 1985
2 Initializability consideration in sequential machine synthes.. (context) - Cheng, Agrawal - 1992
1 Initialization Issues in the Synthesis of Asynchronous Circu.. (context) - Banerjee, Roy et al. - 1994
1 Synthesis for logical initializability of synchronous finite.. - Singh, Nowick - 1997
1 Synthesis of initializable asynchronous circuits (context) - Chakradhar, Banerjee et al. - 1994
1 Finite-State Machine Benchmark Set v1.0 (context) - Lisanke - 1989
Documents on the same site (http://www.cs.columbia.edu/~library/1998.html): More
Optimizing Selections over Data Cubes - Ross, Zaman (1998) (Correct)
What is the complexity of Stieltjes integration? - Werschulz (1998) (Correct)
Usenetfs: A Stackable File System for Large Article Directories - Erez Zadok (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC