104 search results - page 1 / 21 » Specify, Compile, Run: Hardware from PSL |
ENTCS
2007
15 years 13 days 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...
96
Voted
ICALP
2009
Springer
16 years 23 days ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
122
Voted
ACTA
2010
15 years 18 days ago
2010
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
88
Voted
FCCM
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...
153
Voted
VLSID
2007
IEEE
16 years 26 days ago
2007
IEEE
We present AHIR, an intermediate representation (IR), that acts as a transition layer between software compilation and hardware synthesis. Such a transition layer is intended to t...