Stem gabriel$ (all stems)
2 papers:
- SEFM-2004-OliveiraXC #refinement
- Refine and Gabriel: Support for Refinement and Tactics (MO, MX, AC), pp. 310–319.
- DAC-1989-LeeGHHBBG #design #named #programmable
- GABRIEL: A Design Environment for Programmable DSPs (EAL, EG, HH, WHH, SSB, JCB, EG), pp. 141–146.