Giving the Gorilla Some Brains: How Can Formal Complement Simulation? FMCAD Panel Discussion November 14, 2006. Andreas Kuehlmann. “Simulation” vs. “Formal Verification”. Let’s look into terminology!. We as FMCAD community should know what formal means! FMCAD = “Formal Methods on CAD”
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
We as FMCAD community should know what formal means!
FMCAD = “Formal Methods on CAD”
“Precise Formalists” versus the “Sloppy Informalists” ??
But what does Simulation mean?
A simulation is an imitation of some real thing, state of
affairs, or process. The act of simulating something generally
entails representing certain key characteristics or behaviors of a
selected physical or abstract system.
But it continues….
…for Distinction Sake, a Deceiving by Words,
is commonly called a Lye,
and a Deceiving by Action, Gestures, or Behavior,
is called Simulation
“A Simulation Preorder is a relation between state transition systems
associating systems which behave in the
same way in the sense that one system “simulates” the other”
In other, words
a system simulates another system if it can match all of its moves.
… looks to me like a pretty formal and “complete” approach
… for others Testing means this:
The testing community uses formal methods to generate test vectors
E.g. D-Algorithm for ATPG
Diagnosis of Automata Failure: A Calculus & Method
IBM Journal of R&D 1966 (10), pp. 278-291
Later we “renamed” sequential ATPG into Bounded Model Checking
Principal Engineer, Intel Corp. Hillsboro, OR
“Life in the Jungle: Simulation vs. Verification”
Distinguished Engineer IBM Server Division, Austin, TX
”Ecological Niche or Survival Gear? - Improving an Industrial Simulation Methodology with Formal Methods”
encourage cross-fertilization between technologies?