|
## Copyright (c) 2014 - 2022 by Torsten Meissner
|
|
##
|
|
## Licensed under the Apache License, Version 2.0 (the "License");
|
|
## you may not use this file except in compliance with the License.
|
|
## You may obtain a copy of the License at
|
|
##
|
|
## https://www.apache.org/licenses/LICENSE-2.0
|
|
##
|
|
## Unless required by applicable law or agreed to in writing, software
|
|
## distributed under the License is distributed on an "AS IS" BASIS,
|
|
## WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
## See the License for the specific language governing permissions and
|
|
## limitations under the License.
|
|
|
|
|
|
|
|
[tasks]
|
|
bmc
|
|
prove
|
|
cover
|
|
|
|
[options]
|
|
depth 25
|
|
bmc: mode bmc
|
|
prove: mode prove
|
|
cover: mode cover
|
|
|
|
[engines]
|
|
bmc: smtbmc z3
|
|
prove: abc pdr
|
|
cover: smtbmc z3
|
|
|
|
[script]
|
|
bmc: ghdl --std=08 -gCoverage=false -gFormal=true -gSimulation=false -gAddressWidth=32 -gDataWidth=32 WishBoneMasterE.vhd -e wishbonemastere
|
|
prove: ghdl --std=08 -gCoverage=false -gFormal=true -gSimulation=false -gAddressWidth=32 -gDataWidth=32 WishBoneMasterE.vhd -e wishbonemastere
|
|
cover: ghdl --std=08 -gCoverage=true -gFormal=true -gSimulation=false -gAddressWidth=32 -gDataWidth=32 WishBoneMasterE.vhd -e wishbonemastere
|
|
prep -auto-top
|
|
|
|
[files]
|
|
../syn/WishBoneMasterE.vhd
|