Assertion for connectivity checks

[rag123]

Make sure your wire is driving a value. If it is undriven it is Z;