History

Jacob Lifshay 2e8b73d2fc rename fire/fire_data to firing/firing_data		2024-10-06 19:04:48 -07:00
..
examples	change register names to end in `_reg` by convention	2024-10-06 18:50:09 -07:00
src	rename fire/fire_data to firing/firing_data	2024-10-06 19:04:48 -07:00
tests	change register names to end in `_reg` by convention	2024-10-06 18:50:09 -07:00
build.rs	WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types	2024-08-21 22:27:21 -07:00
Cargo.toml	add formal subcommand	2024-09-25 02:00:06 -07:00
LICENSE.md	prep for eventual publishing	2024-07-11 22:39:00 -07:00
Notices.txt	prep for eventual publishing	2024-07-11 22:39:00 -07:00
README.md	prep for eventual publishing	2024-07-11 22:39:00 -07:00
visit_types.json	add mod formal and move assert/assume/cover stuff to it	2024-10-01 19:56:17 -07:00

README.md

Fayalite

Fayalite is a library for designing digital hardware -- a hardware description language (HDL) embedded in the Rust programming language. Fayalite's semantics are based on FIRRTL as interpreted by LLVM CIRCT.