Equivalence Checking for High-Assurance Behavioral Synthesis

doi 10.15760/etd.1066
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Portland State University Library

Related search

Client-Specific Equivalence Checking

2018English

Verification of Concurrent Quantum Protocols by Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Equivalence Checking of Arithmetic Expressions Using Fast Evaluation

2005English

Verification of Source Code Transformations by Program Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

New Paradigms for High Assurance Software

1993English

Automatic Synthesis of Assumptions for Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

An Efficient Equivalence-Checking Algorithm for a Model of Programs With Commutative and Absorptive Statements

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2016English

Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets

2007English

Equivalence of Convolution Systems in a Behavioral Framework

Mathematics of Control, Signals, and Systems
ControlSystems EngineeringApplied MathematicsOptimizationSignal Processing
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy