Design methodologies for single flux quantum VLSI circuits