本文整理汇总了Python中myhdl.conversion.verify函数的典型用法代码示例。如果您正苦于以下问题：Python verify函数的具体用法？Python verify怎么用？Python verify使用的例子？那么恭喜您, 这里精选的函数代码示例或许可以为您提供帮助。
在下文中一共展示了verify函数的15个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: test_SigAugmAssignUnsupported
def test_SigAugmAssignUnsupported():
z = Signal(intbv(0)[8:])
a = Signal(intbv(0)[8:])
try:
verify(sigAugmAssignUnsupported, z, a)
except ConversionError, e:
assert e.kind == _error.NotSupported示例2: test_modbvSigRange
def test_modbvSigRange():
z = Signal(modbv(0, min=0, max=42))
a = Signal(intbv(0)[4:])
b = Signal(intbv(0)[4:])
try:
verify(modbvSigRange, z, a, b)
except ConversionError, e:
assert e.kind == _error.ModbvRange示例3: test_modbvRange
def test_modbvRange():
z = Signal(intbv(0)[8:])
a = Signal(intbv(0)[4:])
b = Signal(intbv(0)[4:])
try:
verify(modbvRange(z, a, b))
except ConversionError as e:
assert e.kind == _error.ModbvRange
else:
assert False示例4: test_unused4
def test_unused4():
f = get_fileinfo()
assert verify(unused4_bench, M_DEFAULT) == 0
if not kh_enabled:
return
u = updated_files(f)
assert len(u) == 2
for m in ("unused4_bench", "and_operator4"):
assert file_check(u, m)示例5: test_unused3b
def test_unused3b():
f = get_fileinfo()
defval = random.randrange(2**M_DEFAULT)
assert verify(unused3_bench, M_DEFAULT, defval) == 0
if not kh_enabled:
return
u = updated_files(f)
assert len(u) == 2
for m in ("unused3_bench", "and_operator3"):
assert file_check(u, m)示例6: test_incReg
def test_incReg():
assert verify(IncBench, incRef) == 0示例7: test_bug_1835797
def test_bug_1835797():
assert verify(bug_1835797) == 0示例8: test_bug_1740778
def test_bug_1740778 ():
assert verify(bug_1740778) == 0示例9: testWhileBreakLoop
def testWhileBreakLoop():
assert verify(LoopBench, WhileBreakLoop) == 0示例10: testNestedForLoop2
def testNestedForLoop2():
assert verify(LoopBench, NestedForLoop2) == 0示例11: testForBreakLoop
def testForBreakLoop():
assert verify(LoopBench, ForBreakLoop) == 0示例12: checkUnaryOps
def checkUnaryOps(m):
assert verify(unaryBench, m) == 0示例13: checkMultiOps
def checkMultiOps(m, n, p):
assert verify(multiBench, m, n, p) == 0示例14: checkBinary
def checkBinary(m, n):
assert verify(binaryBench, m, n) == 0示例15: test_hdlobjattrsimple
def test_hdlobjattrsimple():
assert verify(ObjBench, HdlObjAttrSimple) == 0