Title: The green component of the rainbow hardware description system