📄 readme
字号:
This is a very simple example to show how a user can usesoft constraints that the constraint solver will attempt touse. This example extends example 10 by adding a set of softconstraints that will not be satisfied.The following source files are part of this example: test.cc A test that contains a constraint definition and a test that uses the constraint Makefile Targets for sun-gnu, hppa-native and linuxA makefile for use with SystemC is provided with targets forthree different platforms: make sun-gnu # Gnu C++ compiler on Sun make hppa-native # HP C++ compiler on HP make linux # Gnu C++ compiler on Linux%%CATEGORIES notebook examples randomization constraints %%TBARGS ncsc --stop hdl_elab --sconly sctop%%LinePrefix all%%Files none %%REGSRC/test.cc %%REGSRC/test_reg.cc%%Files osci %%REGSRC/test.cc%%Files schdl %%REGSRC/test.cc%%Files ncsc %%REGSRC/test_reg.cc%%CheckTest all %%REGSRC/checktest.sh %%TBLOG %%REGSRC/tb_log.au%%REALCLEAN %%REGBLD/logfile.diff
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -