https://doi.org/10.1145/1344418.1344421
https://doi.org/10.1145/1278480.1278525
https://doi.org/10.1109/ICCAD.2004.1382563
https://doi.org/10.1109/TVLSI.2003.817111
https://doi.org/10.1109/TVLSI.2002.801630
https://doi.org/10.1145/774572.774658
https://doi.org/10.1145/505388.505410
https://doi.org/10.1145/378239.379056
https://doi.org/10.1145/378239.379053
https://doi.org/10.1145/360276.360292