Abstract: The timing verification method for deterministic and stochastic networks and circuits is a computerized method that includes a non-enumerative path length analysis algorithm for deterministic and stochastic directed acyclic graphs (DAGs) with applications to timing verification of circuits, the algorithm computing statistical measures of path lengths without storing and/or manipulating the paths in such networks. The timing verification method is able to compute deterministic or probabilistic costs assigned to edges, vertices, or both.

Abstract: The timing verification method for deterministic and stochastic networks and circuits is a computerized method that includes a non-enumerative path length analysis algorithm for deterministic and stochastic directed acyclic graphs (DAGs) with applications to timing verification of circuits, the algorithm computing statistical measures of path lengths without storing and/or manipulating the paths in such networks. The timing verification method is able to compute deterministic or probabilistic costs assigned to edges, vertices, or both.

Abstract: The timing verification method for stochastic networks and circuits is a computerized method that includes a Valued-Sum-of-Products (VSOP) tool as an extension to Zero-suppressed Binary Decision Diagrams (ZBDD) to compute and store paths with their corresponding lengths or statistical parameters. This method starts from source vertices and inductively builds a path database in the topological order of gates. At each node the method builds a set of partial paths that terminated that node using VSOP expressions. Path queries are performed on all paths using VSOP operations, thereby querying the top K-most critical paths in integrated circuit networks.

Abstract: In one embodiment, a system for sharing a static random-access memory (SRAM) table between two or more lookup tables (LUTs) that are equivalent to each other includes at least two basic logic elements (BLEs) each associated with a truth table representing a particular function provided by the BLE. The particular functions provided by the BLEs including equivalency to each other. Each BLE includes an LUT including the truth table associated with the BLE. The LUTs of the BLEs share an SRAM table with each other to obviate the LUTs of the BLEs including SRAM tables separate from each other.

Abstract: In one embodiment, a system for sharing a static random-access memory (SRAM) table between two or more lookup tables (LUTs) that are equivalent to each other includes at least two basic logic elements (BLEs) each associated with a truth table representing a particular function provided by the BLE. The particular functions provided by the BLEs including equivalency to each other. Each BLE includes an LUT including the truth table associated with the BLE. The LUTs of the BLEs share an SRAM table with each other to obviate the LUTs of the BLEs including SRAM tables separate from each other.