Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability.
Jennifer GillenwaterGregory MalechaCherif R. SalamaAngela Yun ZhuWalid TahaJim GrundyJohn O'LearyPublished in: PEPM (2008)
Keyphrases
- high level
- hardware description language
- integrated circuit
- low level
- field programmable gate array
- hardware designs
- hardware design
- programmable logic
- low cost
- higher order
- hardware implementation
- real time
- expressive power
- programming language
- lambda calculus
- text summarization
- language independent
- computing systems
- embedded systems
- low level features
- higher level
- circuit design
- image retrieval
- high level programming
- image processing algorithms
- grammatical inference
- intermediate level
- multi lingual
- computer hardware
- conceptual model
- fixed order
- description logics