Searching for authors named "Vigyan Singhal" – sorted by Relevance.
44 documents found, showing 1 through 10.
Next 10 →
-
Design Replacements for Sequential Circuits
- …Design Replacements for Sequential Circuits by Vigyan Singhal B.Tech. (Indian Institute…
- Cited by 9 (3 self) – Add To MetaCart
-
The validity of retiming sequential circuits
- …The Validity of Retiming Sequential Circuits Vigyan Singhal Abstract Carl Pixley ¡ Retiming has…
- Cited by 20 (6 self) – Add To MetaCart
-
An abstraction algorithm for the verification of level-sensitive latch-based netlists
- … Baumgartner , Tamir Heyman , Vigyan Singhal , and Adnan Aziz� IBM Enterprise Systems Group, Austin, Texas…
- Cited by 6 (5 self) – Add To MetaCart
-
Robust Latch Mapping for Combinational Equivalence Checking
- … on the functionality of the circuits being compared rather than on heuristics. The Jerry R. Burch and Vigyan Singhal…
- Cited by 6 (0 self) – Add To MetaCart
-
How Powerful is Retiming?
- …How Powerful is Retiming? Hai Zhou y Vigyan Singhal z Adnan Aziz x haizhou…
- Cited by 5 (2 self) – Add To MetaCart
-
Verifying Continuous Time Markov Chains
- …Verifying Continuous Time Markov Chains Adnan Aziz Kumud Sanwal Vigyan Singhal Robert Brayton ECE…
- Cited by 63 (1 self) – Add To MetaCart
-
Model checking the IBM Gigahertz Processor: An abstraction algorithm for high-performance netlists
- … Jason Baumgartner 1 , Tamir Heyman 2 , Vigyan Singhal 3 , and Adnan Aziz 4 1 IBM Corporation, Austin…
- Cited by 12 (2 self) – Add To MetaCart
-
Automatic Lighthouse Generation for Directed State Space Search
- … is enormous; as such it is limited to designs containing of the order of a hundred latches. Vigyan Singhal…
- Cited by 6 (0 self) – Add To MetaCart
-
BDS: A BDD-Based Logic Optimization System
- …. DAC 2000, Los Angeles, California (c) 2000 ACM 1-58113-188-7/00/0006..$5.00 Vigyan Singhal Tempus…
- Cited by 33 (0 self) – Add To MetaCart
-
BDD Decomposition for Efficient Logic Synthesis
- …1 BDD DECOMPOSITION FOR EFFICIENT LOGIC SYNTHESIS Congguang(Anda) Yang Vigyan Singhal Maciej…
- Cited by 11 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
