mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-05-31 16:27:50 +00:00
Code Activity

Merge 2898c75fb0 into f57802a166

Browse source
This commit is contained in:
Gus Smith 2026-05-01 16:16:51 -04:00 • committed by GitHub
commit 3af18a6690
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
22 changed files with 34 additions and 34 deletions
Download patch file Download diff file Expand all files Collapse all files

2
sbysrc/sby.py
View file

@ -1,6 +1,6 @@
#!/usr/bin/env python3
#
# SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
# SBY -- Front-end for Yosys-based formal verification flows
#
# Copyright (C) 2016 Claire Xenia Wolf <claire@yosyshq.com>
#

2
sbysrc/sby_autotune.py
View file

@ -1,5 +1,5 @@
#
# SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
# SBY -- Front-end for Yosys-based formal verification flows
#
# Copyright (C) 2022 Jannis Harder <jix@yosyshq.com> <me@jix.one>
#

2
sbysrc/sby_core.py
View file

@ -1,5 +1,5 @@
#
# SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
# SBY -- Front-end for Yosys-based formal verification flows
#
# Copyright (C) 2016 Claire Xenia Wolf <claire@yosyshq.com>
#

2
sbysrc/sby_design.py
View file

@ -1,5 +1,5 @@
#
# SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
# SBY -- Front-end for Yosys-based formal verification flows
#
# Copyright (C) 2022 N. Engelhardt <nak@yosyshq.com>
#

2
sbysrc/sby_engine_abc.py
View file

@ -1,5 +1,5 @@
#
# SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
# SBY -- Front-end for Yosys-based formal verification flows
#
# Copyright (C) 2016 Claire Xenia Wolf <claire@yosyshq.com>
#

2
sbysrc/sby_engine_aiger.py
View file

@ -1,5 +1,5 @@
#
# SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
# SBY -- Front-end for Yosys-based formal verification flows
#
# Copyright (C) 2016 Claire Xenia Wolf <claire@yosyshq.com>
#

2
sbysrc/sby_engine_btor.py
View file

@ -1,5 +1,5 @@
#
# SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
# SBY -- Front-end for Yosys-based formal verification flows
#
# Copyright (C) 2016 Claire Xenia Wolf <claire@yosyshq.com>
#

2
sbysrc/sby_engine_smtbmc.py
View file

@ -1,5 +1,5 @@
#
# SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
# SBY -- Front-end for Yosys-based formal verification flows
#
# Copyright (C) 2016 Claire Xenia Wolf <claire@yosyshq.com>
#

2
sbysrc/sby_jobserver.py
View file

@ -1,5 +1,5 @@
#
# SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
# SBY -- Front-end for Yosys-based formal verification flows
#
# Copyright (C) 2022 Jannis Harder <jix@yosyshq.com> <me@jix.one>
#

2
sbysrc/sby_mode_bmc.py
View file

@ -1,5 +1,5 @@
#
# SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
# SBY -- Front-end for Yosys-based formal verification flows
#
# Copyright (C) 2016 Claire Xenia Wolf <claire@yosyshq.com>
#

2
sbysrc/sby_mode_cover.py
View file

@ -1,5 +1,5 @@
#
# SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
# SBY -- Front-end for Yosys-based formal verification flows
#
# Copyright (C) 2016 Claire Xenia Wolf <claire@yosyshq.com>
#

2
sbysrc/sby_mode_live.py
View file

@ -1,5 +1,5 @@
#
# SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
# SBY -- Front-end for Yosys-based formal verification flows
#
# Copyright (C) 2016 Claire Xenia Wolf <claire@yosyshq.com>
#

2
sbysrc/sby_mode_prove.py
View file

@ -1,5 +1,5 @@
#
# SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
# SBY -- Front-end for Yosys-based formal verification flows
#
# Copyright (C) 2016 Claire Xenia Wolf <claire@yosyshq.com>
#

2
sbysrc/sby_sim.py
View file

@ -1,5 +1,5 @@
#
# SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
# SBY -- Front-end for Yosys-based formal verification flows
#
# Copyright (C) 2022 Jannis Harder <jix@yosyshq.com> <me@jix.one>
#