Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
restore [locate_data_file a158] a
restore [locate_data_file b148] b
bop a b
bopcommon result
checkprops result -s empty
f2929057eThis file is pinned to the selected release. Download the original to open it in your design tool.