An overview of test synthesis tools
Robert C. Aitken · IEEE Design & Test of Computers · 1995
The two types of tools now commercially available implement the basic elements of first synthesis differently. Selecting among various gate- and RT-level tools requires a careful evaluation considering issues like desired circuit quality, methodology circuit area, and integration.>