Nearly all activities which have been published or which are known concentrate on those topics of computer-aided design related to layout of chips and boards and to testing and documentation. Systems which support logic design itself are not very widespread and are often out of focus. One of the inherent reasons may be that design engineers for whom CAD tools for logic design are developed, show a lot of scepticism and prejudice against those aids. They don't accept the idea that part of their personal work could be substituted by computer based algorithms.
No takes yet. Share an insight, caveat, or question.
Grass et al. (1979) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: