"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!