Sciweavers

496 search results - page 28 / 100
» Generation Gaps Revisited
Sort
View
ITC
1998
IEEE
95views Hardware» more  ITC 1998»
15 years 4 months ago
Native mode functional test generation for processors with applications to self test and design validation
New methodologies based on functional testing and built-in self-test can narrow the gap between necessary solutions and existing techniques for processor validation and testing. W...
Jian Shen, Jacob A. Abraham
CORR
2006
Springer
95views Education» more  CORR 2006»
14 years 11 months ago
A Markov Chain based method for generating long-range dependence
This paper describes a model for generating time series which exhibit the statistical phenomenon known as long-range dependence (LRD). A Markov Modulated Process based upon an inf...
Richard G. Clegg, Maurice Dodson
ENTCS
2010
102views more  ENTCS 2010»
14 years 6 months ago
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion
Porting an application written for personal computer to embedded devices requires conversion of floating-point numbers and operations into fixed-point ones. Testing the conversion...
Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, T...
CICLING
2009
Springer
16 years 9 days ago
Generating Executable Scenarios from Natural Language
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
Michal Gordon, David Harel
FDL
2007
IEEE
15 years 6 months ago
Automatic High Level Assertion Generation and Synthesis for Embedded System Design
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
Lun Li, Frank P. Coyle, Mitchell A. Thornton