Results 201 to 210 of about 2,804 (226)

Introduction to generalized symbolic trajectory evaluation

IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2002
Symbolic trajectory evaluation (STE) is a lattice-based model checking technology that uses a form of symbolic simulation. It offers an alternative to 'classical' symbolic model checking that, within its domain of applicability, often is much easier to use and much less sensitive to state explosion.
null Jin Yang, C.-J.H. Seger
openaire   +1 more source

Formal Hardware Verification by Symbolic Ternary Trajectory Evaluation

2018
Symbolic trajectory evaluation is a new approach to formal hardware verification combining the circuit modeling capabilities of symbolic logic simulation with some of the analytic methods found in temporal logic model checkers. We have created such an evaluator by extending the symbolic switch-level simulator COSMOS. This program gains added efficiency
Bryant, Randal, Carl-Johan H. Seger
openaire   +1 more source

Symbolic Trajectory Evaluation

2018
Symbolic trajectory evaluation is an industrial-strength formal hardware verification method, based on symbolic simulation, which has been highly successful in data-path verification, especially for microprocessor execution units. It is a ‘model-checking’ method in the basic sense that properties, expressed in a simple temporal logic, are verified by ...
openaire   +1 more source

A simple theorem prover based on symbolic trajectory evaluation and BDD's

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1995
Formal hardware verification based on symbolic trajectory evaluation shows considerable promise in verifying medium to large scale VLSI designs with a high degree of automation. However, in order to verify today's designs, a method for composing partial verification results is needed.
S. Hazelhurst, C.-J.H. Seger
openaire   +1 more source

A Survey on Hyperdimensional Computing aka Vector Symbolic Architectures, Part II: Applications, Cognitive Models, and Challenges

ACM Computing Surveys, 2023
Denis Kleyko, Dmitri A Rachkovskij, Evgeny Osipov   +2 more
exaly  

A Survey on Hyperdimensional Computing aka Vector Symbolic Architectures, Part I: Models and Data Transformations

ACM Computing Surveys, 2023
Denis Kleyko, Dmitri A Rachkovskij, Evgeny Osipov   +2 more
exaly  

AI Feynman: A physics-inspired method for symbolic regression

Science Advances, 2020
Silviu-Marian Udrescu, Max Erik Tegmark
exaly  

Simple descriptor derived from symbolic regression accelerating the discovery of new perovskite catalysts

Nature Communications, 2020
Baicheng Weng, Qingde Sun, Yanfa Yan
exaly  

Planning chemical syntheses with deep neural networks and symbolic AI

Nature, 2018
Marwin H S Segler, Mark P Waller
exaly  

A Survey of Symbolic Execution Techniques

ACM Computing Surveys, 2019
Roberto Baldoni, Emilio Coppa, Camil Demetrescu   +2 more
exaly