Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming

Alessandro Bertagnon, Marcello Dalpasso, Michele Favalli +1

In the design of integrated circuits, one critical metric is the maximum delay introduced by combinational modules within the circuit. This delay is crucial because it represents t…