Login / Signup
Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava.
Andy Gill
Tristan Bull
Andrew Farmer
Garrin Kimmell
Ed Komp
Published in:
High. Order Symb. Comput. (2012)
Keyphrases
</>
multiple types
hardware and software
low cost
real time
hardware software
image processing
multi agent systems
mathematical model
simulation study
control system
input output
simulation model
embedded systems
personal computer
simulation environment
design space exploration