Applications of Specification and Design Language for Socs by