"RAVEL(Relational Algebra Verification Expression Language) DRC System for SiP and PCB" have Components followed:
• RAVEL DRC language– Description and exchange of design rules• RAVEL DRC engine– Checking of design rules coded in RAVEL language in SiP Layout and PCB Editor• RAVEL compiler– DRC compilation and integration in Allegro Constraint Manager– DRC encoding for IP protection and distribution to external users
But I can't find any useful documents of RAVEL.
Can you provide some documents for learning RAVEL?
Thanks a lot!