Semantic Approach to Design fo Controller Languages and Hardware