mirror of
https://github.com/quorten/macsehw.git
synced 2024-09-27 19:54:43 +00:00
5 lines
182 B
Coq
5 lines
182 B
Coq
|
// Here's how we initialize ROM in the simulation with hex bytes (yes,
|
||
|
// text input) from a file:
|
||
|
|
||
|
// $readmemh("hex_memory_file.mem", memory_array, [start_address], [end_address])
|