- ## 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.
-
-
-
- .PHONY: all-cover all-bmc all-prove all
- all: all-cover all-bmc all-prove
- all-cover: WishBoneMasterE-cover WishBoneSlaveE-cover
- all-bmc: WishBoneMasterE-bmc WishBoneSlaveE-bmc
- all-prove: WishBoneMasterE-prove WishBoneSlaveE-prove
-
-
- %-cover: ../syn/%.vhd %.sby
- mkdir -p work
- sby --yosys "yosys -m ghdl" -f -d work/$@ $(subst -cover,,$@).sby cover
-
- %-bmc: ../syn/%.vhd %.sby
- mkdir -p work
- sby --yosys "yosys -m ghdl" -f -d work/$@ $(subst -bmc,,$@).sby bmc
-
- %-prove: ../syn/%.vhd %.sby
- mkdir -p work
- sby --yosys "yosys -m ghdl" -f -d work/$@ $(subst -prove,,$@).sby prove
-
-
- clean:
- rm -rf work
|
