100 search results - page 1 / 20 » The Challenges of Synthesizing Hardware from C-Like Language... |
DT
2006
13 years 5 months ago
2006
at their abstractions are similar to data types and operations supplied by conventional processors. A core principle of BCPL is its memory model: an The Challenges of Synthesizing ...
DATE
2005
IEEE
13 years 11 months ago
2005
IEEE
PLDI
2011
ACM
12 years 8 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
ENTCS
2007
13 years 5 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
ACSD
2007
IEEE
13 years 9 months ago
2007
IEEE
In this paper we present two algorithms that effectively synthesize a finite place/transition Petri net (p/t-net) from a finite set of labeled partial orders (a finite partial lang...