Symbolic simulation

In computer science, a simulation is a computation of the execution of some appropriately modelled state-transition system. Typically this process… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Formal verification of high-level SystemC designs is an important and challenging problem. Recent works have proposed symbolic… (More)
  • table 1
  • figure 2
  • figure 4
  • figure 3
  • table 2
Is this relevant?
2009
2009
We have created an experimental extension to ACL2 that provides a means to symbolically evaluate ACL2 expressions. This modified… (More)
Is this relevant?
2008
2008
Computer algebra systems are currently successively used in several areas of engineering, such as VLSI, robotics, non-linear… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2005
2005
programming 8-bit pic microcontrollers in c with interactive hardware simulation PDF pro scalable net 20 application designs PDF… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
As microprocessors continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid… (More)
  • figure 11
  • figure 19
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We present Ketchum, a tool that was developed to improve the productivity of simulation-based functional verification by… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?
2000
2000
Symbolic methods such as model checking using binary decision diagrams (BDDs) have had limited success in verifying large designs… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Symbolic trajectory evaluation provides a means to formally verify properties of a sequential system by a modified form of… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating… (More)
Is this relevant?
1979
1979
Program verification techniques which manipulate symbolic rather than actual values have been used successfully to find errors in… (More)
  • figure 3
  • figure 4
  • figure 5
Is this relevant?