Title: Heuristic reasoning for an automatic commonsense understanding of logic electronic design specifications