System Design A Practical Guide with SpecC | EKB DL