أرسل هذا في رسالة قصيرة: Trace theory for automatic hierarchical verification of speed-independent circuits /