Sciweavers

1663 search results - page 19 / 333
» Validation and Verification of Simulation Models
Sort
View
126
Voted
DAC
2007
ACM
15 years 7 months ago
A Framework for the Validation of Processor Architecture Compliance
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jae...
132
Voted
QEST
2010
IEEE
15 years 1 months ago
Compositional Verification of Probabilistic Systems Using Learning
Lu Feng, Marta Z. Kwiatkowska, David Parker
130
Voted
TCAD
2002
146views more  TCAD 2002»
15 years 3 months ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier
WSC
2008
15 years 5 months ago
MMOHILS: A simpler approach to valid agents in human simulation studies
A novel technique for accurately and inexpensively simulating large numbers of people is introduced: Massively Multiplayer Online Human In the Loop Simulation (MMOHILS). This tech...
Seth N. Hetu, Gary Tan