mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-02 17:30:24 +00:00
Code Activity

Update README

Browse source 
corrected url
This commit is contained in:
Ahmed Irfan 2015-04-03 17:11:45 +02:00
parent ed750f0a55
commit 13e2e71ebe
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
backends/btor/README
View file

@ -3,7 +3,7 @@ This is the Yosys BTOR backend.
It is developed by Ahmed Irfan <irfan@fbk.eu> - Fondazione Bruno Kessler, Trento, Italy It is developed by Ahmed Irfan <irfan@fbk.eu> - Fondazione Bruno Kessler, Trento, Italy
Master git repository for the BTOR backend: Master git repository for the BTOR backend:
https://github.com/ahmedirfan1983/yosys/tree/btor https://github.com/ahmedirfan1983/yosys
[[CITE]] BTOR: Bit-Precise Modelling of Word-Level Problems for Model Checking [[CITE]] BTOR: Bit-Precise Modelling of Word-Level Problems for Model Checking