A SAT-Based Algorithm for Reparameterization in Symbolic Simulation

Mapping Intimacies ◽

10.21236/ada461257 ◽

2003 ◽

Author(s):

Pankaj Chauhan ◽

Daniel Kroening ◽

Edmund Clarke

Keyword(s):

Symbolic Simulation

Download Full-text

Analysis of Switch-Level Faults by Symbolic Simulation

32nd Design Automation Conference ◽

10.1109/dac.1995.249972 ◽

1995 ◽

Author(s):

Lluis Ribas-Xirgo

Keyword(s):

Symbolic Simulation

Download Full-text

Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation

International Journal of Parallel Programming ◽

10.1007/s10766-005-8910-3 ◽

2005 ◽

Vol 33 (6) ◽

pp. 645-666 ◽

Author(s):

Alfred Koelbl ◽

Carl Pixley

Keyword(s):

Formal Models ◽

Symbolic Simulation ◽

Download Full-text

Algorithmic Aspects of Linear Symbolic Simulation

Symbolic Analysis for Automated Design of Analog Integrated Circuits ◽

10.1007/978-1-4615-3962-9_4 ◽

1991 ◽

pp. 101-196

Author(s):

Georges Gielen ◽

Willy Sansen

Keyword(s):

Symbolic Simulation

Download Full-text

On the Verification of a WiMax Design Using Symbolic Simulation

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.122.3 ◽

2013 ◽

Vol 122 ◽

pp. 23-37

Author(s):

Salim Ismail Al-Akhras ◽

Sofiène Tahar ◽

Gabriela Nicolescu ◽

Michel Langevin ◽

Pierre Paulin

Keyword(s):

Symbolic Simulation

Download Full-text

Scalable Hardware Verification with Symbolic Simulation

10.1007/0-387-29906-8 ◽

2006 ◽

Keyword(s):

Hardware Verification ◽

Symbolic Simulation ◽

Scalable Hardware

Download Full-text

Symbolic Simulation-Checking of Dense-Time Automata

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-540-75454-1_25 ◽

2007 ◽

pp. 352-368 ◽

Author(s):

Farn Wang

Keyword(s):

Symbolic Simulation

Download Full-text

Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies

10.1007/978-3-030-85172-9_14 ◽

2021 ◽

pp. 257-275

Author(s):

Rebecca Haehn ◽

Erika Ábrahám ◽

Nils Nießen

Keyword(s):

Symbolic Simulation

Download Full-text

Symbolic Simulation: An ACL2 Approach

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/3-540-49519-3_22 ◽

1998 ◽

pp. 334-350 ◽

Author(s):

J. Strother Moore

Keyword(s):

Symbolic Simulation

Download Full-text

Symbolic simulation techniques-state-of-the-art and applications

Sixth IEEE International High-Level Design Validation and Test Workshop ◽

10.1109/hldvt.2001.972806 ◽

2002 ◽

Author(s):

C. Blank ◽

H. Eveking ◽

J. Levihn ◽

G. Ritter

Keyword(s):

State Of The Art ◽

Symbolic Simulation ◽

Simulation Techniques

Download Full-text

Symbolic Simulation of Dataflow Synchronous Programs with Timers

Lecture Notes in Electrical Engineering - Languages, Design Methods, and Tools for Electronic System Design ◽

10.1007/978-3-030-02215-0_3 ◽

2018 ◽

pp. 45-70

Author(s):

Guillaume Baudart ◽

Timothy Bourke ◽

Marc Pouzet

Keyword(s):

Symbolic Simulation

Download Full-text