PROPERTY -DRIVEN AUTOMATIC GENERATION OF REDUCED COMPONENT HARDWARE

Nathaniel Bleier

US12437133B2 (2025)

Cite this paper

@article{bleier2025property,
  title = {PROPERTY -DRIVEN AUTOMATIC GENERATION OF REDUCED COMPONENT HARDWARE},
  author = {Nathaniel Bleier},
  year = {2025},
  journal = {US12437133B2},
  url = {https://crucible.eecs.umich.edu/papers/property-driven-automatic-generation-of-reduced-component-hardware-20}
}