Text this: Digital system behavioural description partitioning methodology for design automation purposes :