Title: Hybrid parallel execution model for logic-based specification languages
Subjects: Computer hardware description languages, System design