Title: Behavioural abstraction and circuit verification using Circal