Hierarchical mechanisms for high-level modeling and simulation of digital systems Artigo de Conferência