一种逻辑验证方法及装置
摘要:
本发明公开了一种逻辑验证方法及装置,应用于基站逻辑验证平台,Testbench获取DUT中执行相应可逻辑实现功能所需的参数文本,并依据参数文本生成输入激励,调用总线接口中传输输入激励的信号线,将输入激励传输至DUT,调用总线接口中传输逻辑验证结果的信号线,获取DUT基于输入激励进行逻辑验证的逻辑验证结果,基于逻辑验证结果,对DUT中相应可逻辑实现功能进行逻辑验证。针对DUT中不同的可逻辑实现功能进行逻辑验证时,可直接通过调用总线接口中传输输入激励的信号线实现逻辑验证,即,可直接在总线接口中修改信号线,不需要修改Testbench内部代码,提高了逻辑验证的效率。
公开/授权文献
0/0