Sciweavers

1536 search results - page 56 / 308
» Domain driven simulation modeling for software design
Sort
View
SCESM
2006
ACM
266views Algorithms» more  SCESM 2006»
15 years 5 months ago
A comparative survey of scenario-based to state-based model synthesis approaches
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
Hongzhi Liang, Jürgen Dingel, Zinovy Diskin
FMCAD
2007
Springer
15 years 3 months ago
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...
VLSID
2002
IEEE
189views VLSI» more  VLSID 2002»
16 years 6 days ago
Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
Prabhat Mishra, Hiroyuki Tomiyama, Ashok Halambi, ...
TEI
2009
ACM
100views Hardware» more  TEI 2009»
15 years 6 months ago
Decoupling interaction hardware design using libraries of reusable electronics
This paper presents our research toward the design and development of a library of electronic hardware modules called Blades and Tiles. Interaction hardware design with blades and...
Rajesh Sankaran, Brygg Ullmer, Jagannathan Ramanuj...
ATVA
2010
Springer
142views Hardware» more  ATVA 2010»
14 years 9 months ago
On Scenario Synchronization
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla