Browsing: Gate-level modeling