The present disclosure includes systems and methods relating to information flow tracking
and detection of unintentional design flaws of digital devices and microprocessor systems. In …

A computer executable tool facilitates integrated circuit design and debugging by working
directly at the Register Transfer Level, where most design activities take place. The tool …

(57) ABSTRACT A plurality of diagnosis methods are provided for enabling hardware
debugging. A first diagnosis method enables hard ware debugging by means of time …

The present disclosure includes systems and methods relating to information flow and
analyzing faults in integrated circuits for digital devices and microprocessor systems …

A method of testing critical paths in integrated circuits begins by simulating at least one
operation of an integrated circuit chip design to produce chip timing data. Next, critical paths …

An input/output module receives application requirements and parameters and a processing
module implements production of application code. An architecture code level design phase …

Disclosed are methods, systems, and articles of manufacture for implementing deadlock
detection with formal verification techniques in an electronic design. These techniques …

US20120198399A1 - System, method and computer program for determining fixed value,
fixed time, and stimulus hardware diagnosis - Google Patents US20120198399A1 - System …

Approaches for generating a design of an electronic system are disclosed. In one approach,
for each of one or more components of a first specification of the design, an error mitigation …

One embodiment provides a system, comprising methods and apparatuses, for simplifying a
set of assumptions for a circuit design, and for verifying the circuit design by determining …