/mem-syn

A simple memory synthesizer made for Cornell's CS 6172 final project

Primary LanguageRust

Memory Synthesizer

This project requires both Rust (via Cargo) and Z3 to use.

It currently supports:

  • Memory description synthesis (via Z3)
  • Memory description validation against an input trace
  • Emitting a Calyx implementation

More documentation to come later.