https://github.com/boschmitt/losys

Logic synthesis and verification framework
https://github.com/boschmitt/losys

logic-gates logic-minimization logic-synthesis

Last synced: 10 months ago
JSON representation

Logic synthesis and verification framework

• Host: GitHub
• URL: https://github.com/boschmitt/losys
• Owner: boschmitt
• License: bsd-2-clause
• Created: 2017-10-25T08:57:12.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-11-13T15:30:59.000Z (over 8 years ago)
• Last Synced: 2025-06-02T08:44:13.137Z (about 1 year ago)
• Topics: logic-gates, logic-minimization, logic-synthesis
• Language: C++
• Homepage:
• Size: 285 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# losys

losys is a logic synthesis and verification infrastructure developed for my own

education as I venture in the world of EDA and CAD tools. My intent is to evolve

it as I learn different approaches, techniques, algorithms, etc...