Well, if you want Verilog or VHDL as output you could
use LayBool,
but it's fragile and, as with most EDA tools, expensive
(~USD100K). At one time it was peddled by SGS-Thomson, then Compass,
now god-knows-who. It gets badly confused by precharge logic, but
you're not likely to see that in something from an 11/750 ;-)
It's now apparently Avanti's Lynx-LB tool:
http://www.avanticorp.com/Avant!/SolutionsProducts/Products/Item/1,1172,11,…
http://www.avanticorp.com/Avant!/EJ/Technical/Articles/Item/1,1058,82,00.ht…
They claim it now handles precharge logic, domino logic, etc. Sounds
pretty nice.
The input is a Spice netlist. Now we just need the step that transforms
the photomicrograph into the netlist. Oh, and a big pile of dead
presidents with which to buy Lynx-LB. :-)