правила для проведения физической верификации, Diva\Assura Опции

[nATpuoT]

добрый день, товарищи! не уверен что пишу именно в тот раздел, но ничего более подходящего не нашел. Надеюсь модераторы меня простят, второй день на форуме, еще не во всем разобрался.
Я занимаюсь написанием DRC и LVS правил для diva\assura.
Собственно нужна литература(или любая другая информация) о средствах отладки правил физической верификации. Существуют ли такие в природе вообще? Или хотя бы посоветуйте литературу по физической верификации. Буду благодарен за любую информацию по данному вопросу.