青岛同仁天工赛鸽公棚:Modeling digital circuits for troubleshooting