Heuristic reasoning for an automatic commonsense understanding of logic electronic design specifications | lit.salon