related documents Detecting state coding conflicts in STGs using integer programming Conferences Improving compression ratio, area overhead, and test application time for system-on-a-chip test data compression/decompression Conferences Visualisation of partial order models in VLSI design flow Conferences