circuit specifications with higher abstraction 9756640