1140 search results - page 7 / 228 » Generating compilers for generated datapaths |
PATMOS
2004
Springer
15 years 5 months ago
2004
Springer
The main result is the development, and delay comparison based on Logical Effort, of a number of high speed circuits for common arithmetic and related operations using threshold l...
105
Voted
APLAS
2003
ACM
15 years 3 months ago
2003
ACM
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...
96
Voted
GPCE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer highlevel constructs and notations dedicated to...
IFL
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. Most array operations in Sac are specified in terms of so-called withloops, a Sac-specific form of array comprehension. Due to the map-like semantics of with-loops its ...
DAC
1998
ACM
16 years 18 days ago
1998
ACM
Commercial tools for standard-cell based datapath design are here classed according to design flows, and the advantages of each class are discussed with the results of two test ci...