1446 search results - page 110 / 290 » Formal analysis of hardware requirements |
108
Voted
ISSS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciï¬...
87
Voted
ISCAS
1999
IEEE
15 years 5 months ago
1999
IEEE
To provide a better understanding of physical design algorithms and the underlying circuit architecture they are targeting, we need to exercise the algorithms and architectures wi...
86
Voted
ICCAD
1996
IEEE
15 years 4 months ago
1996
IEEE
Although numerous methods have been proposed for interconnect simulation, no single model exists for all kind of transmission line problems. This paper presents a new, single, gen...
188
click to vote
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...
139
click to vote
CL
2008
Springer
15 years 25 days ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...