Patent
Structure for improved logic simulation using a negative unknown boolean state
Richard Nicholas
- 15 Aug 2008
2
TL;DR: In this article, a system and method for simulating a circuit design using both an unknown Boolean state and a negative unknown boolean state is provided, where one or more initial simulated logic elements are initialized to the unknown Boolean states.
read more
Abstract: A system and method for simulating a circuit design using both an unknown Boolean state and a negative unknown Boolean state is provided. When the circuit is simulated, one or more initial simulated logic elements are initialized to the unknown Boolean state. The initialized unknown Boolean states are then fed to one or more simulated logic elements and the simulator simulates the handling of the unknown Boolean state by the simulated logic elements. Examples of simulated logic elements include gates and latches, such as flip-flops, inverters, and basic logic gates. The processing results in at least one negative unknown Boolean state. An example of when a negative unknown Boolean state would result would be when the unknown Boolean state is inverted by an inverter. The resulting negative unknown Boolean state is then fed to other simulated logic elements that generate further simulation results based on processing the negative unknown Boolean state.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Patent
X-propagation in emulation using efficient memory
Alexander Rabinovitch,Ludovic Marc Larzul +1 more
- 22 Jan 2015
TL;DR: In this article, an unknown state of a signal is indicated and propagated through digital logic circuits represented in a disclosed semantic to enable prompt detection of improper operation of the DUT, for example, due to power shut down or inadequate initialization.
3
Patent
X-propagation in emulation
Alexander Rabinovitch,Ludovic Marc Larzul +1 more
- 22 Jan 2015
TL;DR: In this paper, an unknown state of a signal is indicated and propagated through digital logic circuits represented in a disclosed semantic to enable prompt detection of improper operation of the DUT, for example, due to power shut down or inadequate initialization.
2
References
Patent
Method and apparatus for removing timing hazards in a circuit design
Luc M. Burgun,Olivier Lepape,Frederic Reblewski +2 more
- 31 May 1996
TL;DR: In this article, a computer system is programmed with logic for detecting and resolving clock gating as well as clock division timing hazards from the circuit design, and the system is used for a hardware emulation system.
51
Patent
Electronic design protection circuit
Marcel A. LeBlanc
- 06 Apr 2004
TL;DR: In this paper, the authors propose to add protection circuitry to the unprotected version of an electronic design to create a protected version of the electronic design, which operates correctly in a simulation environment but fails to operate correctly in the hardware environment.
32
Patent
Method and system for matching boolean signatures
Olivier Touzet
- 04 Dec 1998
TL;DR: In this paper, a method and system for matching a node of a combinatorial block with a library cell in a technology library using truth tables is presented, where a truth table representing the function of the node is generated.
18
Patent
System and method for improved logic simulation using a negative unknown boolean state
Richard Nicholas
- 14 Sep 2006
TL;DR: In this article, a system and method for simulating a circuit design using both an unknown Boolean state and a negative unknown boolean state is provided, where one or more initial simulated logic elements are initialized to the unknown Boolean states.
5
Optimizing designs containing black boxes
TL;DR: A notion of equivalence is established for gate-level netlists containing black boxes, and a procedure is introduced that computes the complete don't care set and can achieve more minimization than conventional synthesis.