Contradiction Analysis for Constraint-based Random Simulation

Paper

First seen 7/13/2026

Last seen 7/13/2026

Evidence 11 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

20 connections

Contradiction Analysis introduces → 100% 2e

The paper introduces the first non-trivial algorithm for contradiction analysis in constraint-based random simulation.

SystemC uses → 95% 2e

The experiments were conducted in a SystemC-based verification environment.

SystemVerilog uses → 85% 2e

The paper mentions SystemVerilog as a related system using the same constraint principles.

Over-constraining mentions → 100% 2e

The paper identifies over-constraining as the core problem addressed by the proposed technique.

Minimal Unsatisfiable Subformula mentions → 92% 2e

The paper relates the contradiction analysis problem to computing minimal unsatisfiable subformulas in Boolean satisfiability.

Binary Decision Diagrams uses → 98% 2e

The paper uses BDDs as the representation method for constraints in the contradiction analysis approach.

Existential Quantification uses → 97% 2e

The paper uses existential quantification to abstract away constraint variables in the reformulated constraint.

PCIe Transaction Generator evaluates → 95% 2e

The paper evaluates the contradiction analysis approach on a real-life PCIe transaction generator constraint scenario.

ContradictionAnalysis Algorithm introduces → 97% 2e

The paper introduces the ContradictionAnalysis algorithm as pseudo-code.

SCV Library uses → 98% 2e

The paper implements and evaluates the approach within the SCV library framework.

University of Bremen ← part of 95% 1e

University of Bremen is the primary academic institution associated with this paper.

Robert Wille authored by → 100% 1e

Robert Wille is listed as an author of this paper.

Robert Siegmund authored by → 100% 1e

Robert Siegmund is listed as an author of this paper.

Rolf Drechsler authored by → 100% 1e

Rolf Drechsler is listed as an author of this paper.

University of Bremen published by → 95% 1e

The paper is affiliated with the Institute of Computer Science at the University of Bremen.

Constraint-based Random Simulation uses → 100% 1e

The paper focuses on constraint-based random simulation as the target domain for the proposed technique.

CUDD BDD Package uses → 95% 1e

The paper uses the CUDD BDD package as used in the SCV library for BDD operations.

Boolean Satisfiability mentions → 90% 1e

The paper mentions Boolean Satisfiability as an analogous domain where unsat core computation is performed.

System On Chip mentions → 90% 1e

The paper mentions SoC designs as the motivation for large-scale design verification needs.

Daniel Große authored by → 100% 1e

Daniel Große is listed as an author of this paper.