Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / tuura / sync-models
Tool for creating synchronous models and behavioral specifications for asynchronous circuits
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tuura%2Fsync-models
Stars: 5
Forks: 0
Open Issues: 0
License: None
Language: Verilog
Repo Size: 543 KB
Dependencies: pending
Created: over 6 years ago
Updated: 4 months ago
Last pushed: almost 6 years ago
Last synced: 2 months ago
Topics: asynchronous-circuits, digital-logic, formal-verification, model-checking, verilog
Files
Loading...
Readme
Loading...