A Python-based tool called STA Combinational is intended to extract and process important data from Non-Linear Delay Model (NLDM) liberty files (.lib) and digital circuit benchmark files (.bench). It ...

Abstract: Digital circuits are called combinational if they are memoryless: they have outputs that depend only on the current values of the inputs. Combinational circuits are generally thought of as ...

Verification had always been an important part of SOC design flow. As SOCs are getting more and more complex, so is their verification. Verification of a design involves simulating the all possible ...

Digital systems, even when designed with highly reliable components, do not operate for ever without developing some faults, When a system ultimately does develop a fault it has to be detected and ...