Describir: Synchronous precharge logic /