4151 search results - page 158 / 831 » Language Driven System Design |
126
click to vote
FM
2003
Springer
15 years 8 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
110
click to vote
ISCAS
2003
IEEE
15 years 8 months ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
142
click to vote
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...
117
click to vote
MSE
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes the authors experience with teaching VHDL (and more recently, Verilog) to undergraduate and graduate students at WPI and to engineers through various short co...
278
click to vote
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....