circle tools.html#synthesis 68,187 114,209 
circle tools.html#optimization 355,186 397,209 
circle tools.html#simulation 218,345 262,319 
circle tools.html#mapping 216,189 254,182 
rect formats.html#kiss 119,82 172,106 
rect formats.html#blif 201,95 251,114 
rect formats.html#slif 277,88 327,111 
rect formats.html#verilog 128,229 313,249 
circle tools.html#filetransfer  218,48 255,76