qmriso
Member level 5
Hi friends,
I am working on some algorithms to check assertions in a DSP core. In other words, i have developed a software which works on symbolic simulation to do formal verification of a digital design. One of my case study to ckeck is a DSP core (TMS320C6x of TI).
I am looking for some related works which have specially verified a DSP core based on formal verification, i.e. done property checking or assertion checking. Please let me know if you have read some papers or articles about it.
I have found the following paper, but it is not about formal verification or symbolic simulation and also i need to have more related works, if possible:
"DSP core verification using automatic test case generation", T. Glokler and ...
I am working on some algorithms to check assertions in a DSP core. In other words, i have developed a software which works on symbolic simulation to do formal verification of a digital design. One of my case study to ckeck is a DSP core (TMS320C6x of TI).
I am looking for some related works which have specially verified a DSP core based on formal verification, i.e. done property checking or assertion checking. Please let me know if you have read some papers or articles about it.
I have found the following paper, but it is not about formal verification or symbolic simulation and also i need to have more related works, if possible:
"DSP core verification using automatic test case generation", T. Glokler and ...