162
click to vote
FDL
2007
IEEE
15 years 8 months ago
2007
IEEE
Transaction-level modelling (TLM) is a poorlyterm, promising a level of abstraction like RTL (register transfer level), where the key feature is a `transaction'. But unlike r...
SIGGRAPH
2010
ACM
15 years 8 months ago
2010
ACM
149
click to vote
FDL
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we propose a domain specific language for the development of hardware/software cryptographic systems based on the well known Python programming language. It is desi...
136
click to vote
FDL
2007
IEEE
15 years 8 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...