Suchergebnisse - "Hardware Hardware validation Functional verification"

Formal verification of multiplier circuits using computer algebra.

Autoren: Kaufmann, Daniela

Quelle: IT: Information Technology; Dec2022, Vol. 64 Issue 6, p285-291, 7p

Schlagwörter: COMPUTER circuits, ALGEBRA, COMPUTER arithmetic, GROBNER bases, MANUAL labor

From transistor level to cyber physical/hybrid systems: Formal verification using automatic compositional abstraction.

Autoren: Tarraf, Ahmad Hedrich, Lars

Quelle: IT: Information Technology; Dec2020, Vol. 62 Issue 5/6, p257-270, 14p

Schlagwörter: HYBRID systems, CIRCUIT complexity, TRANSISTORS, CYBER physical systems, EMBEDDED computer systems, AUTONOMOUS vehicles

A Survey on Post-Silicon Functional Validation for Multicore Architectures.

Autoren: JAYARAMAN, PADMA PARTHASARATHI, RANJANI

Quelle: ACM Computing Surveys; Jul2018, Vol. 50 Issue 4, p61:1-61:30, 30p, 7 Diagrams, 3 Charts, 3 Graphs

Schlagwörter: MULTICORE processors, COMPUTER architecture, CENTRAL processing units, SYSTEMS on a chip, COMPUTER systems

PARAMETERIZED SYNTHESIS.

Autoren: JACOBS, SWEN BLOEM, RODERICK

Quelle: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 1, p1-29, 29p

Schlagwörter: PARAMETERIZATION, COMPUTER architecture, NUMBER theory, CONFIRMATION (Logic), SET theory, TOPOLOGY