DJ Delorie wrote: > /me worries about using the '\' character in net names. They get > exported through gnetlist. > Yeah. Sounds like trouble, however, probably nothing the net aliasing in gnetlist can't fix for the backends which have problems. -Dan