Technology-Driven Design Abstractions, Principles, And Tools For Superconductor Electronics